Language-Independent Quantification and Weaving for Feature Composition
نویسندگان
چکیده
Based on a general model of feature composition, we present a composition language that enables programmers by means of quantification and weaving to formulate extensions to programs written in different languages. We explore the design space of composition languages that rely on quantification and weaving and discuss our choices. We outline a tool that extends an existing infrastructure for feature composition and discuss results of three initial case studies. We found that, due to its language independence, our approach is less powerful than aspect-oriented languages but still usable for many implementation problems.
منابع مشابه
Feature-Based Composition of Software Architectures
In Software Product Lines variability refers to the definition and utilization of differences between several products. Feature Diagrams (FD) are a well-known approach to express variability, and can be used to automate the derivation process. Nevertheless, this may be highly complex due to possible interactions between selected features and the artifacts realizing them. Deriving concrete produ...
متن کاملJMangler – A Powerful Back-End for Aspect-Oriented Programming
AOSD improves separation of concerns in software development by enabling the modular expression of crosscutting aspects. However, modular implementation of an aspect requires techniques for “weaving” the aspect into the code of all classes that require it. Often, weaving is complicated by the unavailability or dynamic creation of source code. We present JMangler, a freely available framework fo...
متن کاملAspect Weaving with C# and .NET
Since current object oriented programming languages don’t have existing support for aspects, aspects are often supported through language extensions [1, 2]. Another approach is to use the existing language to encapsulate aspect behaviors, and provide an additional language to express cross cutting statements [3-5]. Finally, other systems [6]including the one described in this paper use features...
متن کاملProofs of the convergence of the rewriting system for the weaving of aspects in the AO - PFA language ∗
AO-PFA is an aspect oriented feature modelling language. This report discusses several theoretical issues regarding the weaving process of AO-PFA. The weaving of aspects is to extract subterms from product family terms in the base specification, and then to replace the extracted subterm (selected join points) by another term (advice). The problem of extracting a subterm from another term is rel...
متن کاملA Tool Suite to Support Aspect-Oriented Specification
This paper addresses the aspect-oriented specification of systems by considering different aspects of a simple stream example. It is shown how these aspects can be expressed in different formal languages if required. By using an underlying common semantics to the different languages, it is then possible to compose the aspects in order to perform analysis of either the interaction of aspects (c....
متن کامل